This is the short version, in French translation by Anne Querrien, of the originally jointly authored paper: Müller, Vincent C., ‘Autonomous killer robots are probably good news’, in Ezio Di Nucci and Filippo Santoni de Sio, Drones and responsibility: Legal, philosophical and socio-technical perspectives on the use of remotely controlled weapons. - - - L’article qui suit présente un nouveau système d’armes fondé sur des robots qui risque d’être prochainement utilisé. À la différence des drones qui sont manoeuvrés à distance (...) mais comportent une part importante de discernement humain, il s’agit de machines programmées pour défendre, attaquer, ou tuer de manière autonome. Les auteurs, philosophes, préfèrent prévenir de leur prochaine diffusion et obtenir des Nations Unies leur régulation. Une campagne internationale propose plutôt leur interdiction. (shrink)

Lethal Autonomous Weapon Systems are here. Technological development will see them become widespread in the near future. This is in a matter of years rather than decades. When the UN Convention on Certain Conventional Weapons meets on 10-14th November 2014, well-considered guidance for a decision on the general policy direction for LAWS is clearly needed. While there is widespread opposition to LAWS—or ‘killer robots’, as they are popularly called—and a growing campaign advocates banning them outright, we argue the opposite. LAWS (...) may very well reduce suffering and death in war. Rather than banning them, they should be regulated, to ensure both compliance with international humanitarian law, and that this positive outcome occurs. This policy memo sets out the basic structure and content of the regulation required. (shrink)

May lethal autonomous weapons systems—‘killer robots ’—be used in war? The majority of writers argue against their use, and those who have argued in favour have done so on a consequentialist basis. We defend the moral permissibility of killer robots, but on the basis of the non-aggregative structure of right assumed by Just War theory. This is necessary because the most important argument against killer robots, the responsibility trilemma proposed by Rob Sparrow, makes the same assumptions. We show that the (...) crucial moral question is not one of responsibility. Rather, it is whether the technology can satisfy the requirements of fairness in the re-distribution of risk. Not only is this possible in principle, but some killer robots will actually satisfy these requirements. An implication of our argument is that there is a public responsibility to regulate killer robots ’ design and manufacture. (shrink)

This paper develops a trivalent semantics for the truth conditions and the probability of the natural language indicative conditional. Our framework rests on trivalent truth conditions first proposed by Cooper (1968) and Belnap (1973) and it yields two logics of conditional reasoning: (i) a logic C of certainty-preserving inference; and (ii) a logic U for uncertain reasoning that preserves the probability of the premises. We show systematic correspondences between trivalent and probabilistic representations of inferences in either framework, and we use (...) the distinction between the two systems to cast light on the validity of inferences such as Modus Ponens, Or-To-If, and Conditional Excluded Middle. Specifically, the conditional behaves monotonically in C, but non-monotonically in U; Modus Ponens is valid in C, but valid in U only for non-nested conditionals. The result is a unified account of the semantics and epistemology of indicative conditionals that can be fruitfully applied to analyzing the validity of conditional inferences. (shrink)

The question of whether lies by those who govern are acceptable receives a clear focus and an ideal case in the Republic. Against C. D. C. Reeve, and T. C. Brickhouse and N. D Smith, I argue that the Republic’s apparent recommendation of administrative lies is incoherent. While lies may be a necessary part of the City’s administration, the process and practice of lying undermines that nature which is necessary for any suitable ruler – rendering the ideal impossible. I argue (...) that this analysis, while concerned with an ideal case, also applies to the political realist’s regrettable-but-necessary defence of such practices. (shrink)

Recensione a C. Greppi, "Un uomo di poche parole. Storia di Lorenzo, che salvò Primo" (Roma-Bari: Laterza, 2023).

This paper is concerned with the problem of speaking past one another due to an asymmetry of the interlocutors' backgrounds. When individuals with different levels of relative privilege interact, the party with relative privilege may fail to engage with what is being communicated. I take up critical Gadamerian hermeneutics to ask how we, as individuals with relative privilege, can 'unstop' our ears so that the burden of explanation does not (unfairly) remain on those we hurt by our mishearing/non-hearing. I offer (...) two methods to achieve this 'unstopping': 'critical self-knowledge' through Quassim Cassam's 'Vice Epistemology' framework and 'critical world-knowledge' through the Frankfurt School of Critical Theory (Max Horkheimer and Jürgen Habermas, specifically). I then take up contemporary critical hermeneutics (Lorenzo Simpson) to show how, through the application of the critical methods, one might be able to achieve a useful, cross-cultural dialogue. This is imperative given our inexorably multi-cultural world today. (shrink)

At the very beginning of On Interpretation (I, 1, 16a3-14) Aristotle distinguishes four levels and discusses their relationships. From this text, we can infer the following: 1. There are four levels: writing, speaking, mental experience and external world. Since writing and speaking can truly be taken as belonging to the same realm, we can reduce Aristotle’s distinction to three realms: language, thought and external world. 2. The realm of language, in both levels of writing and speaking, is different for different (...) people but both of the other realms of thought and external world are the same for them. By this Aristotle must mean that though people of different languages have different writings and speaking words, the things that are in the world and their affections on people’s thought are the same. 3. The relations both between language and thought and in language itself is symbolization: ‘Spoken words are the symbols of mental experience and written words are the symbols of spoken words.’ 4. The relation between external world and thought is similarity: ‘Those things of which our mental experiences are similarities (παθἠματα τῆς ψυχῆς ... ὁμοιώματα).’ (ΟΙ., 16a7) In de Anima (16a8-9; II, 5, 418a4-5; II, 4, 429a10-11; 429a13-16; 429a23) Aristotle describes thoughts as ‘likenesses of objects.’ Paolo Crivelli says that in these addresses Aristotle believe that ‘a thought is of an object just if it is a likeness of it’ and ‘to be a likeness of an object is to be the result of a process of likening of which that object is a cause.’ This, Crivelli believes, is indeed the basis of the sameness of the objects of thoughts: they are results of the same processes of likening by the same objects. 5. There is a correspondence between nouns and verbs on the one hand and objects of thought without co-positing and positing away on the other hand: ‘Nouns themselves and verbs are like objects of thought (νοἠματι) without co-positing and positing away.’ (OI, I, 1, 16a13-14) A. Relationship between external world and thought The following can be inferred from Aristotle’s works about the relationship between thought and external world: 1. ‘The soul is in a way all existing things; for existing things are either sensible or thinkable, and knowledge is in a way what is knowable, and sensation is in a way what is sensible.’ (So., Γ, 8, 431b21-23) In fact, ‘within the soul the faculties of knowledge and sensation are potentially these objects, the one what is knowable, the other what is sensible.’ (So., Γ, 8, 431b26-27) 2. It is the form of the external objects that are in thought (So., Γ, 8, 431b26-29) and the objects of thought are in the sensible forms, viz. both the abstract objects and all the states and affections of sensible things (ἐν τοῖς εἴδεσι τοῖς αἰσθητοῖς τὰ νοητὰ ἐστι, τά τε ἐν ἀφαιρέσει λεγόμενα, καὶ ὃσα τῶν αἰσθητῶν ἓξις καὶ πάθη). (So., Γ, 8, 432a3-6) 3. While external objects are perishable, objects of thought seem to be eternal. (PrA., A, 33, 47b21-22) B. Relationship between language and the external world 1. There is a correspondence between the external world and the true statements about them: ‘If it is true to say that a thing is white, it must necessarily be white; if the reverse proposition is true, it will of necessity not be white.’ (OI, I, 9, 18a39-b5) 2. While external objects ‘does seem in some way the cause of’ the truth or falsity of lingual statements, ‘the true statement is in no way the cause of the actual thing’s existence.’ (Cat., 12, 14b18-22; cf. OI, I, 9, 18b36-19a6) Thus, the external objects reciprocate as to implication of existence with the corresponding true statement about them and thus are prior to them.’ (Cat., 12, 14b11-23) 3. The opposition between an affirmation and negation corresponds to an opposition in the external world between the objects underlying those statements. (Cat., 10, 12b6-15) 4. The correspondence of the whole structure of the external world and language for Aristotle is so that in analyzing the language he shows himself as analyzing the external world. It is in fact a very crucial and controversial dispute whether Aristotle’s philosophy in its very decisive parts is theorizing about language or about external world. In most of his important theories, he begins with discussing language. In fact, language is where he enters the discussion and, in many cases, where he finishes it. In these cases, he either does not discuss external world at all or only derives some principles or conclusions about it. In some other cases he begins from language but ends in external world. a) Daniel W. Graham thinks that language is Aristotle’s ‘model of the world.’ He refers to ‘subjecthood’ as what formally characterizes primary substance and explains how it bases reality in Aristotle: while to be an absolute subject is equal to be fully real, to be a predicate of a subject is equal to be real. ‘Language is not merely a tool to get around in the world; it reveals the structure of the world … the deep structure of language is isomorphic with the world… In this word, logic can reveal connections between elements because language and the world have a form in common. He lists Trendelenburg (1846, 11-13), Gillespie (1925) and (Ackrill (1963, 78-81) as those who have the same idea. b) Emphasizing on the force of τί in Aristotle’s statement when he says that assertions affirm something (τί) of something (τί) makes Peter Simpson (p. 85) to stress, in his interpretation of Jacob’s theory, on the ontological aspect of Aristotle’s philosophy. Jacob says that in his theory of predication, Aristotle focuses on ‘things’ and not words or concepts and predication is a relationship between extralinguistic entities rather than merely linguistic ones; something extralinguistic and ontological. c) Quoting Ackrill ((1963, 73): ‘the categories classify things, not words’) and Kahn ((1978, 248): ‘Aristotle never regards predication as a grammatical or linguistic relation of word to word, nor does he ever speak of subject and predicate as concepts united in judgment’), Fabio Morales says that Aristotle is not classifying predication in Categories but the attributes or properties these stand for.’ d) Graham thinks that the theory of synonymity-homonimity is not purely linguistic, since it is things rather than words that have these properties. (shrink)

This is the English (and extended version) of an interview originally published in Estonian in October 2018. In the interview, Simpson summarizes a particular way of defending the practice of no-platforming. The varying appeal of different defences of the practice in different socio-historical contexts (i.e. the UK/US versus a post-Soviet country such as Estonia) is discussed also.

We claim that a moral obligation to take climate leadership by means of unilateral mitigation depends on the existence of a plausible follow-the-leader mechanism whereby unilateral mitigation by some increases the probability of sufficient mitigation by others to avert catastrophic climate impacts. By understanding these mechanisms, we can better articulate the obligation for climate leadership across various sectors, from government to individual actors, in the fight against climate change. [Open access].

Do traits evolve because they are good for the group, or do they evolve because they are good for the individual organisms that have them? The question is whether groups, rather than individual organisms, are ever “units of selection.” My exposition begins with the 1960’s, when the idea that traits evolve because they are good for the group was criticized, not just for being factually mistaken, but for embodying a kind of confused thinking that is fundamentally at odds with the (...) logic that Darwin’s theory requires. A counter-movement has arisen since the 1960’s, called multi-level selection theory, according to which selection acts at multiple levels, including the level of the group. After discussing the 1960’s attack on group selection and the concept’s subsequent revival, I examine Darwin’s views on the subject. I discuss what Darwin says about four examples: human morality, the barbed stinger of the honeybee, neuter workers in species of social insect, and the sterility of many interspecies hybrids. I argue that Darwin defended hypotheses of group selection in the first three problems, but rejected it in the fourth. I also discuss Darwin’s general views about the role of group selection in evolution. (shrink)

The New Evil Demon problem has been hotly debated since the case was introduced in the early 1980’s (e.g. Lehrer and Cohen 1983; Cohen 1984), and there seems to be recent increased interest in the topic. In a forthcoming collection of papers on the New Evil Demon problem (Dutant and Dorsch, forthcoming), at least two of the papers, both by prominent epistemologists, attempt to resist the problem by appealing to the distinction between justification and excuses. My primary aim here is (...) to critically evaluate this new excuse maneuver as a response to the New Evil Demon problem. -/- Their response attempts to give us reason to reject the idea that victims of the New Evil Demon have justification for believing as they do. I shall argue that this approach is ultimately unsuccessful, however much of value can be learned from these attempts. In particular, progress in the debate can be made by following those who advance the excuse maneuver and make explicit the connection between epistemic justification and epistemic norms. By doing so, the questions being debated are clarified, as is the methodology being used to attempt to answer them. (shrink)

We should drop the marketplace of ideas as our go-to metaphor in free speech discourse and take up a new metaphor of the connected city. Cities are more liveable when they have an integrated mix of transport options providing their occupants with a variety of locomotive affordances. Similarly, societies are more liveable when they have a mix of communication platforms that provide a variety of communicative affordances. Whereas the marketplace metaphor invites us to worry primarily about authoritarian control over the (...) content that circulates through our communication networks, the connected-city metaphor invites us to worry, more so, about the homogenization of the tools and formats through which we communicate. I argue that the latter worry demands greater attention under emerging technological conditions. (shrink)

Due to Gӧdel’s incompleteness results, the categoricity of a sufficiently rich mathematical theory and the semantic completeness of its underlying logic are two mutually exclusive ideals. For first- and second-order logics we obtain one of them with the cost of losing the other. In addition, in both these logics the rules of deduction for their quantifiers are non-categorical. In this paper I examine two recent arguments –Warren (2020), Murzi and Topey (2021)– for the idea that the natural deduction rules for (...) the first-order universal quantifier are categorical, i.e., they uniquely determine its semantic intended meaning. Both of them make use of McGee’s open-endedness requirement and the second one uses in addition Garson’s (2013) local models for defining the validity of these rules. I argue that the success of both these arguments is relative to their semantic or infinitary assumptions, which could be easily discharged if the introduction rule for the universal quantifier is taken to be an infinitary rule, i.e. non-compact. Consequently, I reconsider the use of the ω-rule and I show that the addition of the ω-rule to the standard formalizations of first-order logic is categorical. In addition, I argue that the open-endedness requirement does not make the first-order Peano Arithmetic categorical and I advance an argument for its categoricity based on the inferential conservativity requirement. (shrink)

Scientific models typically contain idealizations, or assumptions that are known not to be true. Philosophers have long questioned the nature of idealizations: Are they heuristic tools that will be abandoned? Or rather fictional representations of reality? And how can we reconcile them with realism about knowledge of nature? Immanuel Kant developed an account of scientific investigation that can inspire a new approach to the contemporary debate. Kant argued that scientific investigation is possible only if guided by ideal assumptions—what he calls (...) “regulative ideas”. These ideas are not true of objects of nature, and yet they are not heuristic tools or fictional represen- tations. They are necessary rules governing the construction and assessment of scientific explanations. In this paper, I suggest that some idealizations can be interpreted as having necessary regulative value and as being compatible with scientific realism. I first analyze the puzzle of the nature of idealization and present the main approaches to this topic in the literature. Second, I reconsider the puzzle vis-a-vis a restricted, Kantian definition of idealization and a novel characterization of the relation between idealization and truth. Finally, I discuss in detail an example of idealization (the Hardy-Weinberg equilibrium) along the suggested Kantian lines. (shrink)

This volume aimed to highlight narrative identities of European cities or city neighbourhoods that have been overlooked, such as mid-sized cities. These cities are neither small towns nor metropolises, cities that are now unveiling their appeal or specificity. The present special issue thus covers a range of representations of cities. The articles investigate more systematically how different texts deal with various cities from different experiential and fictional perspectives. The issue covers the geographical scope across Europe, from east to west or (...) vice versa, as well as a range of different works of national literature(s), but with a clear emphasis on mid-sized European cities that have until now been deemed as lesser-known, secondary, peripheral, ‘other’ cities that are in the focus of the research of the COST project Writing Urban Places. New Narratives of the European City, within which this journal issue is being published. (shrink)

Logical inferentialism maintains that the formal rules of inference fix the meanings of the logical terms. The categoricity problem points out to the fact that the standard formalizations of classical logic do not uniquely determine the intended meanings of its logical terms, i.e., these formalizations are not categorical. This means that there are different interpretations of the logical terms that are consistent with the relation of logical derivability in a logical calculus. In the case of the quantificational logic, the categoricity (...) problem is generated by the finite nature of the standard calculi and one direction in which it can be solved is to strengthen the deductive systems by adding infinitary rules (such as the ω-rule), i.e., to construct a full formalization. Another main direction is to provide a natural semantics for the standard rules of inference, i.e., a semantics for which these rules are categorical. My aim in this paper is to analyze some recent approaches for solving the categoricity problem and to argue that a logical inferentialist should accept the infinitary rules of inference for the first order quantifiers, since our use of the expressions “all” and “there is” leads us beyond the concrete and finite reasoning, and human beings do sometimes employ infinitary rules of inference in their reasoning. (shrink)

The pandemic has been the most vivid agent of change that many of us have known. But it has not changed everything: plenty of the institutions, norms, and practices that sustain racial capitalism, settler colonialism, and cisheteropatriarchy have either weathered the storm of the crisis or been nourished by its effects. And yet enough has changed for us to see that the pandemic has profoundly recontextualised those structures and systems of violence, bringing us into a fresh negotiation with, for example, (...) the question of how we discuss and imagine freedom. Responding in part to this unexpected provocation, activist-scholars Robyn Maynard and Leanne Betasamosake Simpson forged a collaboration from the lockdown of 2020, corresponding by letter to create their forthcoming book, Rehearsals for Living, due to be published by Haymarket Books (US) and Knopf (Canada) in 2022. In this interview, we asked them to explain the epistolary form of the book and expand on the concept of “rehearsal”, before inviting them to reflect on a series of issues that animate our current crises: the politics of recognition; the notion of apocalypse; ways to disrupt linear temporalities; practises of reciprocity against proprietary logics; the gendered violence of state apparatuses; and worldbuilding as a method of resistance. In their expansive answers, Robyn and Leanne draw on their experiences as organisers and educators, commenting on anticolonial struggles, the Movement for Black Lives, and the rise of abolition discourse. Stressing the need to build a multiplicity of shared homespaces in the face of racial/colonial capitalism and organized abandonment, they challenge us to rethink the predicaments and possibilities of the present, enabling us to imagine futures liberated of extractivist, carceral governance – “planting more liberatory futures in the present”, as Robyn puts it. The task of sowing those seeds is a collective praxis of rewriting the narratives that constitute us, refusing to hear that nothing can change and insisting that everything must. (shrink)

SNePS, the Semantic Network Processing System 45, 54], has been designed to be a system for representing the beliefs of a natural-language-using intelligent system (a \cognitive agent"). It has always been the intention that a SNePS-based \knowledge base" would ultimatelybe built, not by a programmeror knowledge engineer entering representations of knowledge in some formallanguage or data entry system, but by a human informing it using a natural language (NL) (generally supposed to be English), or by the system reading books or (...) articles that had been prepared for human readers. Because of this motivation, the criteria for the development of SNePS have included: it should be able to represent anything and everything expressible in NL; it should be able to represent generic, as well as speci c information; it should be able to use the generic and the speci c information to reason and infer information implied by what it has been told; it cannot count on any particular order among the pieces of information it is given; it must continue to act reasonably even if the information it is given includes circular de nitions, recursive rules, and inconsistent information. (shrink)

This paper seeks to intervene in environmental ethics and social epistemology. Within a predominant strand of environmental ethics, one witnesses accounts based on nonhumans’ ability to suffer, and consequently, the passivity of nonhumans. On the other hand, social epistemology is often not social enough insofar as it does not include nonhumans. Seminal accounts of epistemic injustice often conceal or exclude the possibility that nonhumans can be subjects of knowledge and victims of epistemic injustice because of an anthropocentric bias that maintains (...) propositional language is a necessary condition for knowledge. By presenting a non-anthropocentric, corporeal epistemology, this paper reveals a more affirmative account of nonhumans as epistemic agents with tacit, embodied knowledge. To prevent epistemic depreciation turning into ethical indifference or wrongdoing, this paper focuses on whether it is possible to commit epistemic injustices against nonhumans. In particular, this paper argues that humans can commit fourth-order epistemic exclusion, testimonial injustice, and testimonial smothering against nonhumans. (shrink)

I consider two attempts to combine realism with pluralism about the units of selection: Sober and Wilson’s combination of “model” and “unit” pluralism, and Sterelny and Griffiths’ “local pluralism”. I argue that both of these attempts fail to show that realism and pluralism are compatible. Sober and Wilson’s pluralism turns out, on closer inspection, to be a kind of monism in disguise, while Sterelny and Griffiths’ local pluralism involves a combination of realism and anti-realism about interactors, and the units of (...) selection, that is fundamentally unstable. My conclusion is that one must choose whether to be a realist or a pluralist in this area: one cannot be both. The question of which we should choose is a further question that I do not take a stand on. (shrink)

Achieving space situational awareness requires, at a minimum, the identification, characterization, and tracking of space objects. Leveraging the resultant space object data for purposes such as hostile threat assessment, object identification, and conjunction assessment presents major challenges. This is in part because in characterizing space objects we reference a variety of identifiers, components, subsystems, capabilities, vulnerabilities, origins, missions, orbital elements, patterns of life, operational processes, operational statuses, and so forth, which tend to be defined in highly heterogeneous and sometimes inconsistent (...) ways. The Space Domain Ontologies are designed to provide a consensus-based realist framework for formulating such characterizations in a way that is both consistent and computable. Space object data are aligned with classes and relations in a suite of ontologies built around the existing Space Object Ontology. They are stored in a dynamically updated Resource Description Framework triple store, which can be queried to support space situational awareness and the needs of spacecraft operators and analysts. This paper provides an overview of the Space Domain Ontologies and their development and use. It presents the motivation for and advantages of the Space Domain Ontologies, including the benefits they provide for enhancing and maintaining long-term space situational awareness. (shrink)

Influential cases have been provided that seem to suggest that one can fail to have knowledge because of the social environment. If not a distinct kind of social defeater, is there a uniquely social phenomenon that defeats knowledge? My aim in this paper is to explore these questions. I shall argue that despite initial appearances to the contrary, we have no reason to accept a special class of social defeater, nor any essentially social defeat phenomenon. We can explain putative cases (...) of social defeat with our existing epistemological apparatus. (shrink)

I argue that the Conceptual Ethics and Conceptual Engineering framework, in its pragmatist version as recently defended by Thomasson (2017, 2020), provides a means of articulating and defending the conventionalist interpretation of projects of conceptual extension (e.g. the extended mind, the extended phenotype) in biology and psychology. This promises to be illuminating in both directions: it helps to make sense of, and provides an explicit methodology for, pragmatic conceptual extension in science, while offering further evidence for the value and fruitfulness (...) of the conceptual ethics/engineering framework itself, in particular with respect to conceptual change within science, which has thus-far received little attention in the literature on conceptual ethics/engineering. (shrink)

Philosophers have debated at length the epistemological status of scientific thought experiments. I contend that the literature on this topic still lacks a common conceptual framework, a lacuna that produces radical disagreement among the participants in this debate. To remedy this problem, I suggest focusing on the distinction between the internal and the external validity of an experiment, which is also crucial for thought experiments. I then develop an account of both kinds of validity in the context of thought experiments. (...) I show that we can naturally conceptualise internal validity in terms of games of make-believe. Then, I argue that external validity is best defined as accurate representation of a target system. Finally, I turn back to the current debate on thought experiments and show that my diarchic account provides a general framework that can be shared by the competing philosophical views, as well as a fruitful guide for their reconciliation. (shrink)

Vann McGee has recently argued that Belnap’s criteria constrain the formal rules of classical natural deduction to uniquely determine the semantic values of the propositional logical connectives and quantifiers if the rules are taken to be open-ended, i.e., if they are truth-preserving within any mathematically possible extension of the original language. The main assumption of his argument is that for any class of models there is a mathematically possible language in which there is a sentence true in just those models. (...) I show that this assumption does not hold for the class of models of classical propositional logic. In particular, I show that the existence of non-normal models for negation undermines McGee’s argument. (shrink)

Why is there something rather than nothing? About this storied question we challenge the commonly accepted main assumption: the existence of something. Starting from Nothing only, we explain how our perceived reality emerges as an illusory self-referential interpretation of Nothing and build a framework to give precise definitions to fundamental concepts such as existence, reality, nothingness and somethingness. We then explore the consequences of this framework and we discover an explanation for the existence of laws of physics in our illusory (...) reality. By aiming to describe reality starting with Nothing, we provide the first instance of an assumption-less theory. (shrink)

This paper considers the phenomenon of lying and the implications it has for those subjects who are capable of lying. It is argued that lying is not just intentional untruthfulness, but is intentional untruthfulness plus an insincere invocation of trust. Understood in this way, lying demands of liars a sophistication in relation to themselves, to language, and to those to whom they lie which exceeds the demands on mere truth-tellers.

What can we know? We know many things about the world around us: whether it is raining outside, the result of last night’s game, or how vaccines work. But we also want to know more. For example, we may want to know the ultimate origin of the universe, whether God exists, or whether there are such things as souls. Philosophers have long asked this type of questions — questions that concern a kind of knowledge that goes beyond our experience. A (...) wide range of answers (often contradicting each other) have been endlessly debated. Dissatisfied with this state of inquiry, Kant proposes a revolution in philosophy, which does not consist in devising new answers to these questions, but rather in analyzing our own capacity for knowledge. Such an analysis aims to shed light on the limits of our cognitive faculties and to reveal their true potential. In this article, we will see how Kant’s philosophy offers a revolutionary approach to our deep thirst for knowledge. (shrink)

This paper attempts a reconstruction of reason’s contribution to empirical truth in connection with Kant’s definition of truth as the agreement of cognition with its object. I argue that Kant’s treatment of truth in the Transcendental Analytic gets completed in the Appendix to the Transcendental Dialectic with an often neglected but compelling argument (what I shall call the Variety Argument). This argument postulates such a variety in the appearances as to undermine any attempt at formulating empirical truths. Crucially, I argue (...) that this variety does not depict an extreme-case scenario, but our own epistemic situation without reason. Reason completes Kant’s theory of truth by allowing the understanding (i.) to form empirical concepts and (ii.) approximate to empirical truth. (shrink)

This article explores the meeting of two approaches towards philosophy and education: the philosophy for children approach advocated by Lipman and others, and Schmid’s philosophical concept of Lebenskunst. Schmid explores the concept of the beautiful or good life by asking what is necessary for each individual to be able to develop their own art of living and which aspects of life are significant when shaping a good and beautiful life. One element of Schmid’s theory is the practical application of philosophy (...) through the notions of Bildung, reflection, prudence and practical wisdom, as well as the requirement for each individual to take responsibility for actively shaping their life as an artwork. In this sense, each person is the artist responsible for living their own beautiful life. We argue that there are useful parallels between Schmid’s concept of the art of living and P4C, such as the ideal of a holistic philosophy that is “lived.” The pragmatic approach of P4C focuses on the embodied learner who practices critical, caring and creative thinking. Both P4C and Schmid’s theory are reminiscent of the Aristotelian notion of practical wisdom, which allows for an approach to an education for life that prepares students to develop their own art of living. (shrink)

Cladism, today the dominant school of systematics in biology, includes a classification component – the view that classification ought to reflect phylogeny only, such that all and only taxa are monophyletic (i.e. consist of an ancestor and all its descendants) - and a metaphysical component – the view that all and only real groups or kinds of organisms are monophyletic. For the most part these are seen as amounting to much the same thing, but I argue they can and should (...) be distinguished, in particular that cladists about classification need not accept the typically cladist view about real groups or kinds. Cladists about classification can and should adopt an explanatory criterion for the reality of groups or kinds, on which being monophyletic is neither necessary nor sufficient for being real or natural. Thus the line of reasoning that has rightly led to cladism becoming dominant within systematics, and the attractive line of reasoning in the philosophical literature that advocates a more liberal approach to natural kinds, are seen to be, contrary to appearances, compatible. (shrink)

In recent work Mary Kate McGowan presents an account of oppressive speech inspired by David Lewis's analysis of conversational kinematics. Speech can effect identity-based oppression, she argues, by altering 'the conversational score', which is to say, roughly, that it can introduce presuppositions and expectations into a conversation, and thus determine what sort of subsequent conversational 'moves' are apt, correct, felicitous, etc., in a manner that oppresses members of a certain group (e.g. because the suppositions and expectations derogate or demean members (...) of that group). In keeping with the Lewisian picture, McGowan stresses the asymmetric pliability of conversational scores. She argues that it is easier to introduce (for example) sexist presuppositions and expectations into a conversation than it is to remove them. Responding to a sexist remark, she thus suggests, is like trying to "unring a bell". I begin by situating McGowan's work in the wider literature on speech and social hierarchy, and explaining how her account of oppressive speech improves upon the work of others in its explication of the relationship between individuals' verbal conduct and structurally oppressive social arrangements. I then propose an explanation and supportive elaboration of McGowan's claims about the asymmetric pliability of conversations involving identity-oppressive speech. Rather than regarding such asymmetry as a sui generis phenomenon, I show how we can understand it as a consequence of a more general asymmetry between making things salient and un-salient in speech, and I show how this asymmetry also operates in various cases that interested Lewis. (shrink)

This paper examines two recent contributions to the hate speech literature – by Steven Heyman and Jeremy Waldron – which seek a justification for the legal restriction of hate speech in an account of the way that hate speech infringes against people’s dignity. These analyses look beyond the first-order hurts and disadvantages suffered by the immediate targets of hate speech, and consider the prospect of hate speech sustaining complex social structures whose wide-scale operations lower the social status of members of (...) targeted groups. In Heyman’s and Waldron’s accounts we find plausible insights into the nature of identity-based social hierarchies, and the harms that redound to subordinated people under the operations of such hierarchies. I argue, however, that both analyses are unsuccessful as justifications for the restriction of hate speech, because they do not ultimately provide reason to think that hate speech is responsible for creating or sustaining identity-based social hierarchies. (shrink)

In disagreements about trivial matters, it often seems appropriate for disputing parties to adopt a ‘middle ground’ view about the disputed matter. But in disputes about more substantial controversies (e.g. in ethics, religion, or politics) this sort of doxastic conduct can seem viciously acquiescent. How should we distinguish between the two kinds of cases, and thereby account for our divergent intuitions about how we ought to respond to them? One possibility is to say that ceding ground in a trivial dispute (...) is appropriate because the disputing parties are usually epistemic peers within the relevant domain, whereas in a more substantial disagreement the disputing parties rarely, if ever, qualify as epistemic peers, and so ‘sticking to one’s guns’ is usually the appropriate doxastic response. My aim in this paper is to explain why this way of drawing the desired distinction is ultimately problematic, even if it seems promising at first blush. (shrink)

According to the most common interpretation of the simulation argument, we are very likely to live in an ancestor simulation. It is interesting to ask if some families of simulations are more likely than others inside the space of all simulations. We argue that a natural probability measure is given by computational complexity: easier simulations are more likely to be run. Remarkably this allows us to extract experimental predictions from the fact that we live in a simulation. For instance we (...) show that it is very likely that humanity will not achieve interstellar travel and that humanity will not meet other intelligent species in the universe, in turn explaining the Fermi's Paradox. On the opposite side, experimental falsification of any of these predictions would constitute evidence against our reality being a simulation. (shrink)

The concern of deductive logic is generally viewed as the systematic recognition of logical principles, i.e., of logical truths. This paper presents and analyzes different instantiations of the three main interpretations of logical principles, viz. as ontological principles, as empirical hypotheses, and as true propositions in virtue of meanings. I argue in this paper that logical principles are true propositions in virtue of the meanings of the logical terms within a certain linguistic framework. Since these principles also regulate and control (...) the process of deduction in inquiry, i.e., they are prescriptive for the use of language and thought in inquiry, I argue that logic may, and should, be seen as an instrument or as a way of proceeding (modus procedendi) in inquiry. (shrink)

K. R. Popper distinguished between two main uses of logic, the demonstrational one, in mathematical proofs, and the derivational one, in the empirical sciences. These two uses are governed by the following methodological constraints: in mathematical proofs one ought to use minimal logical means (logical minimalism), while in the empirical sciences one ought to use the strongest available logic (logical maximalism). In this paper I discuss whether Popper’s critical rationalism is compatible with a revision of logic in the empirical sciences, (...) given the condition of logical maximalism. Apparently, if one ought to use the strongest logic in the empirical sciences, logic would remain immune to criticism and, thus, non-revisable. I will show that critical rationalism is theoretically compatible with a revision of logic in the empirical sciences. However, a question that remains to be clarified by the critical rationalists is what kind of evidence would lead them to revise the system of logic that underlies a physical theory, such as quantum mechanics? Popper’s falsificationist methodology will be compared with the recently advocated extension of the abductive methodology from the empirical sciences to logic by T. Williamson, since both of them arrive at the same conclusion concerning the status of classical logic. (shrink)

A short story exploring cloning and the Teletransporter Thought Experiment. Rather than abstract consideration, the focus is on the first-personal experience.

The paper examines the loss of African identity within the modern/ contemporary era. African identity has been a recurrent theme in all domains of African studies, serving as a major intellectual concern of many African scholars. Debates on the reality of African Philosophy are anchored on the questions surrounding African identity giving rise to thoughts and contents of that philosophy. Despite the volumes already generated on the theme, the controversial circumstances that engendered the subject of African identity makes its intellectual (...) concern sustainable and almost inexhaustible. The question of African identity is basically an ontological question of the reality of Africa cum the being of an African. The series of infiltration and appraisals of Africa by foreign elements tend to plunge the continent into crises of identity. In addition to the various approaches to the subject, the nature-culture perspective presents the argument that if culture is ideally the product of a people’s nature, African culture represents the objective manifestation of the Africanity of the continent and its organic/holistic content. Such frame of thought embellished with philosophic tools provides further locus for a more feasible and stable definition of African identity as the holistic nature and character of being African. (shrink)

Spontaneous collapse theories of quantum mechanics turn the usual Schrödinger equation into a stochastic dynamical law. In particular, in this paper, I will focus on the GRW theory. Two philosophical issues that can be raised about GRW concern (i) the ontology of the theory, in particular the nature of the wave function and its role within the theory, and (ii) the interpretation of the objective probabilities involved in the dynamics of the theory. During the last years, it has been claimed (...) that we can take advantage of dispositional properties in order to develop an ontology for GRW theory, and also in order to ground the objective probabilities which are postulated by it. However, in this paper, I will argue that the dispositional interpretations which have been discussed in the literature so far are either flawed or – at best – incomplete. If we want to endorse a dispositional interpretation of GRW theory we thus need an extended account that specifies the precise nature of those properties and which makes also clear how they can correctly ground all the probabilities postulated by the theory. Thus, after having introduced several different kinds of probabilistic dispositions, I will try to fill the gap in the literature by proposing a novel and complete dispositional account of GRW, based on what I call spontaneous weighted multi-track propensities. I claim that such an account can satisfy both of our desiderata. (shrink)

For the past thirty years, the late Tom Regan bucked the trend among secular animal rights philosophers and spoke patiently and persistently to the best angels of religious ethics in a stream of publications that enjoins religious scholars, clergy, and lay people alike to rediscover the resources within their traditions for articulating and living out an animal ethics that is more consistent with their professed values of love, mercy, and justice. My aim in this article is to showcase some of (...) the wealth of insight offered in this important but under-utilized archive of Regan’s work to those of us, religious or otherwise, who wish to challenge audiences of faith to think and do better by animals. (shrink)

Permissivism says that for some propositions and bodies of evidence, there is more than one rationally permissible doxastic attitude that can be taken towards that proposition given the evidence. Some critics of this view argue that it condones, as rationally acceptable, sets of attitudes that manifest an untenable kind of arbitrariness. I begin by providing a new and more detailed explication of what this alleged arbitrariness consists in. I then explain why Miriam Schoenfield’s prima facie promising attempt to answer the (...) Arbitrariness Objection, by appealing to the role of epistemic standards in rational belief formation, fails to resolve the problem. Schoenfield’s strategy is, however, a useful one, and I go on to explain how an alternative form of the standards-based approach to Permissivism – one that emphasizes the significance of the relationship between people’s cognitive abilities and the epistemic standards that they employ – can respond to the arbitrariness objection. (shrink)

We argue that, if taken seriously, Kripke's view that a language for science can dispense with a negation operator is to be rejected. Part of the argument is a proof that positive logic, i.e., classical propositional logic without negation, is not categorical.

This paper explains how the practice of ‘no platforming’ can be reconciled with a liberal politics. While opponents say that no platforming flouts ideals of open public discourse, and defenders see it as a justifiable harm-prevention measure, both sides mistakenly treat the debate like a run-of-the-mill free speech conflict, rather than an issue of academic freedom specifically. Content-based restrictions on speech in universities are ubiquitous. And this is no affront to a liberal conception of academic freedom, whose purpose isn’t just (...) to protect the speech of academics, but also to give them the prerogative to determine which views and speakers have sufficient disciplinary credentials to receive a hearing in academic contexts. No platforming should therefore be acceptable to liberals, in principle, in cases where it is used to support a university culture that maintains rigorous disciplinary standards, by denying attention and credibility to speakers without appropriate disciplinary credentials. (shrink)

In this paper, we embark on the complicated discussion about the nature of vice in Virtue Ethics through a twofold approach: first, by taking seriously the claim that virtues (and certain flavours of vices) are genuinely dispositional features possessed by agents, and secondly, by employing a pluralistic attitude borrowed from Battaly’s pluralism (2008). Through these lenses, we identify three varieties of viciousness: incontinence, indifference, and malevolence. The upshot is that the notion of vice is not as categorically homogeneous as that (...) of virtue: some states of viciousness consist in interference of present virtuous dispositions, or mimicking of absent vicious ones, whereas others can be considered genuine dispositions themselves. Furthermore, this set-up can provide an interesting, albeit highly idealized story as to how, through the interference in one’s environment, one gets acquainted with vice in various degrees. Finally, this approach can be illuminating vis-à-vis Virtue Ethics in general; e.g. we can employ it to discuss more productively Johnston’s (2003) objection to Hursthouse’s (1999) account of moral conduct. Finally, this approach can be illuminating vis-a-vis Virtue Ethics in general; e.g. we can employ it to discuss more productively Johnston’s (2003) objection to Hursthouse’s (1999) account of moral conduct. (shrink)

We present an elementary system of axioms for the geometry of Minkowski spacetime. It strikes a balance between a simple and streamlined set of axioms and the attempt to give a direct formalization in first-order logic of the standard account of Minkowski spacetime in Maudlin and Malament. It is intended for future use in the formalization of physical theories in Minkowski spacetime. The choice of primitives is in the spirit of Tarski : a predicate of betwenness and a four place (...) predicate to compare the square of the relativistic intervals. Minkowski spacetime is described as a four dimensional ‘vector space’ that can be decomposed everywhere into a spacelike hyperplane—which obeys the Euclidean axioms in Tarski and Givant, 175–214 1999)—and an orthogonal timelike line. The length of other ‘vectors’ are calculated according to Pythagoras’ theorem. We conclude with a Representation Theorem relating models \ of our system \ that satisfy second order continuity to the mathematical structure \, called ‘Minkowski spacetime’ in physics textbooks. (shrink)

Through careful interpretive analysis, the piece argues that the Christian cosmic vision reveals the wrongness of industrial animal agriculture and that taking up more intentional eating practices is a morally significant spiritual discipline for Christians. It also testifies to our claim in the introduction [to the "Food and Religion" chapter of *Food, Ethics, and Society*] that religious food ethics have practical advantages over purely secular ethics insofar as the latter usually tries to begin from a neutral perspective that has very (...) little power to compel a person, whereas religious food ethics hooks into one's deepest commitments. (shrink)

Starting from certain metalogical results, I argue that first-order logical truths of classical logic are a priori and necessary. Afterwards, I formulate two arguments for the idea that first-order logical truths are also analytic, namely, I first argue that there is a conceptual connection between aprioricity, necessity, and analyticity, such that aprioricity together with necessity entails analyticity; then, I argue that the structure of natural deduction systems for FOL displays the analyticity of its truths. Consequently, each philosophical approach to these (...) truths should account for this evidence, i.e., that first-order logical truths are a priori, necessary, and analytic, and it is my contention that the semantic account is a better candidate. (shrink)